伊姆雷·拉卡托斯（Imre Lakatos，1922-1974），英籍匈牙利人，犹太裔，数学哲学家、科学哲学家，宗波普尔。早年信仰共产主义，后讳谈往事。

《证明与反驳:数学发现的逻辑》是匈牙利裔英国籍著名哲学家伊姆雷·拉卡托斯于20世纪60年代完成的一部探索数学史上新的发现产生过程的经典著作。书的主要内容包括作者用5年时间收集的两个典型的数学案例，以及《证明与反驳:数学发现的逻辑》的编者添加的拉卡托斯1961年在剑桥大学所撰博士论文的部分内容。拉卡托斯是以对话体的形式进行写作的，他虚构了教师在课堂上与学生们讨论正多面体欧拉公式V-E+F＝2的猜想与发现、证明和反驳的全过程，形象地展现了数学史上对此问题进行研究探索的真实的历史图景，以此来挑战和批判以希尔伯特为代表的认为数学等同于形式公理的抽象、把数学哲学与数学史割裂开来的形式主义数学史观。此篇光辉论著的主要目的是要解决数学方法论的基本问题，以一种探索和发现的情境逻辑来代替形式主义和逻辑实证主义的抽象教条。正如拉卡托斯所说，非形式、准经验的数学的发展，并...(展开全部)

数学是什么？它是如何被创造出来的？过去与现在，创造和实践它的人又是谁？人们能描绘出它的发展，它在科学思想史中所扮演的角色并预测它的未来吗？本书试图对这些问题的本质，以及这个主题的范围和深度提供一些浅见。 本书首先讨论关于整数的问题，其中出现了无穷的概念，并通过关于数与几何对象的更抽象概念的演变而发展。作者展示了数学家如何来考虑一般变换的群，继而考虑诸如空间这些对象的集合，他们尝试如何建立一般的结构理论。本书还考虑了数学与实验科学之间的关系，高速计算机对数学实验范围的深远影响，以及数学的进展取决于“发明”和“发现”程度的问题。对于数学家、物理学家或任何学习数学思想演变的学生来说，这项备受关注的研究提供了一项对数学本质的激发性研究。

数学是什么？它是如何被创造出来的？过去与现在，创造和实践它的人又是谁？人们能描绘出它的发展，它在科学思想史中所扮演的角色并预测它的未来吗？本书试图对这些问题的本质，以及这个主题的范围和深度提供一些浅见。 本书首先讨论关于整数的问题，其中出现了无穷的概念，并通过关于数与几何对象的更抽象概念的演变而发展。作者展示了数学家如何来考虑一般变换的群，继而考虑诸如空间这些对象的集合，他们尝试如何建立一般的结构理论。本书还考虑了数学与实验科学之间的关系，高速计算机对数学实验范围的深远影响，以及数学的进展取决于“发明”和“发现”程度的问题。对于数学家、物理学家或任何学习数学思想演变的学生来说，这项备受关注的研究提供了一项对数学本质的激发性研究。

大家在中小学课程里都会碰到某种程度的数学证明，有些人甚至把做数学与进行数学证明等同起来。但究竟数学证明这种功夫在数学活动中有何作用？它是否真正确立了无可置疑的结论？它是事后的装扮功夫抑或它能导致前所未知的新发现？这种独特的思考方式是怎样发展起来的？ 本书从数学史的角度出发，试以大量实例与读者探讨以上问题。

本书是海外优秀数学类教材系列丛书之一，从培生教育集团引进。本书向学生介绍各种证明方法、分析证明过程，以帮助学生独立撰写正确且清晰的证明过程。书中先介绍逻辑基础，再引入各种常用的证明方法，如直接证法、反证法、数学归纳法等，然后详细分析数学各分支（数论、组合学、数学分析、群论、高等代数等）中的典型证明过程。各章的练习因其精心设计和创造性而受到学生的一致好评，它们帮助学生进一步分析和理解各种证明方法，使其最终能独立写出良好的证明过程。

数学有两种品格，其一是工具品格，其二是文化品格。 由于数学在应用上的极端广泛性，特别是在实用主义观点日益强化的思潮中，使数学之工具品格愈来愈突出和愈来愈受到重视。 对于那些当年接受过立足于数学之文化品格数学训练的学生来说，当他们后来真正成为哲学大师、著名律师或运筹帷幄的将帅时，可能早已把学生时代所学到的那些非实用性的数学知识忘得一干二净了。但那种铭刻于头脑中的数学精神和数学文化理念，却会长期地在他们的事业中发挥着重要作用。也就是说，他们当年所受到的数学训练，一直会在他们的生存方式和思维方式中潜在地起着根本性的作用，并且受用终身。 这就是数学之文化品格，文化理念与文化素质原则之深远意义和至高的价值所在。

数学有两种品格，其一是工具品格，其二是文化品格。 由于数学在应用上的极端广泛性，特别是在实用主义观点日益强化的思潮中，使数学之工具品格愈来愈突出和愈来愈受到重视。 对于那些当年接受过立足于数学之文化品格数学训练的学生来说，当他们后来真正成为哲学大师、著名律师或运筹帷幄的将帅时，可能早已把学生时代所学到的那些非实用性的数学知识忘得一干二净了。但那种铭刻于头脑中的数学精神和数学文化理念，却会长期地在他们的事业中发挥着重要作用。也就是说，他们当年所受到的数学训练，一直会在他们的生存方式和思维方式中潜在地起着根本性的作用，并且受用终身。 这就是数学之文化品格，文化理念与文化素质原则之深远意义和至高的价值所在。